How to write data to a file in C